PoPL Lecture 8

• Induction: construction

• Coinduction: observation and interaction

• Is mostly revision
• fixed points